大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 J. B. (John Bruce) 的图书(共5727本)

Gems of Geometry [electronic resource]

0
索取号:
作者:Barnes、 John.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

0
索取号:
作者:Derrick、 John.、Fitzgerald、 John.、Gnesi、 Stefania.、Khurshid、 Sarfraz.、Leuschel、 Michael.、Reeves、 Steve.、Riccobene、 Elvinia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

0
索取号:
作者:Derrick、 John.、Gnesi、 Stefania.、Latella、 Diego.、Treharne、 Helen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Future Internet [electronic resource] : Future Internet Assembly 2012: From Promises to Reality

0
索取号:
作者:脕lvarez、 Federico.、Cleary、 Frances.、Daras、 Petros.、Domingue、 John.、Galis、 Alex.、Garcia、 Ana.、Gavras、 Anastasius.、Karnourskos、 Stamatis.、Krco、 Srdjan.、Li、 Man-Sze.、Lotz、 Volkmar.、M眉ller、 Henning.、Salvadori、 Elio.、Sassen、 Anne-Marie.、Schaffers、 Hans.、Stiller、 Burkhard.、Tselentis、 Georgios.、Turkama、 Petra.、Zahariadis、 Theodore.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

0
索取号:
作者:Croitoru、 Madalina.、Rudolph、 Sebastian.、Wilson、 Nic.、Howse、 John.、Corby、 Olivier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Correctness-by-Construction Approach to Programming [electronic resource]

0
索取号:
作者:Kourie、 Derrick G.、Watson、 Bruce W.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Behavioral Neurogenetics [electronic resource]

0
索取号:
作者:Cryan、 John F.、Reif、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Steric Effects in the Chemisorption of Vibrationally Excited Methane on Nickel [electronic resource]

0
索取号:
作者:Yoder、 Bruce L.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Fuzzy Semirings with Applications to Automata Theory [electronic resource]

0
索取号:
作者:Ahsan、 Javed.、Mordeson、 John N.、Shabir、 Muhammad.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Regularity Estimates for Nonlinear Elliptic and Parabolic Problems [electronic resource] : Cetraro, Italy 2009 <P>Editors: Ugo Gianazza, John Lewis</P>

0
索取号:
作者:Lewis、 John.、Lindqvist、 Peter.、Manfredi、 Juan J.、Salsa、 Sandro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Security Protocols XIX [electronic resource] : 19th International Workshop, Cambridge, UK, March 28-30, 2011, Revised Selected Papers

0
索取号:
作者:Christianson、 Bruce.、Crispo、 Bruno.、Malcolm、 James.、Stajano、 Frank.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Decision and Game Theory for Security [electronic resource] : Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings

0
索取号:
作者:Baras、 John S.、Katz、 Jonathan.、Altman、 Eitan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

The Practice of Enterprise Modeling [electronic resource] : 4th IFIP WG 8.1 Working Conference, PoEM 2011 Oslo, Norway, November 2-3, 2011 Proceedings

0
索取号:
作者:Johannesson、 Paul.、Krogstie、 John.、Opdahl、 Andreas L.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Dependable and Historic Computing [electronic resource] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

0
索取号:
作者:Jones、 Cliff B.、Lloyd、 John L.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Computer Science and Information Technology [electronic resource] : Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings

0
索取号:
作者:Kim、 Tai-hoon.、Adeli、 Hojjat.、Robles、 Rosslin John.、Balitanas、 Maricel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Vision Systems [electronic resource] : 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011. Proceedings

0
索取号:
作者:Crowley、 James L.、Draper、 Bruce A.、Thonnat、 Monique.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.